top_command (cmd_load currentFile [])
top_command (cmd_why_in_scope_toplevel "F")
